<?php
/**
 * author:歪妻
 * Date: 2020/11/10 0010
 */
?>

<div style="float:right">
        <?php if (isLoggedIn()):?>
            <a href="index.php">首页</a>
            |
            <a href="list-posts.php">全部帖子</a>
            |
            <a href="edit-post.php">新建帖子</a>
            |
            Hello <?php echo htmlEscape(getAuthUser()) ?>.
            <a href="logout.php">注销</a>
        <?php else: ?>
            <a href="login.php">登录</a>
        <?php endif ?>
</div>